Optimal. Leaf size=332 \[ \frac {3 a x}{128 c^3 \left (1+a^2 x^2\right )^2}+\frac {141 a x}{256 c^3 \left (1+a^2 x^2\right )}+\frac {141 \text {ArcTan}(a x)}{256 c^3}-\frac {3 \text {ArcTan}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 \text {ArcTan}(a x)}{32 c^3 \left (1+a^2 x^2\right )}-\frac {3 a x \text {ArcTan}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 a x \text {ArcTan}(a x)^2}{32 c^3 \left (1+a^2 x^2\right )}-\frac {11 \text {ArcTan}(a x)^3}{32 c^3}+\frac {\text {ArcTan}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\text {ArcTan}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \text {ArcTan}(a x)^4}{4 c^3}+\frac {\text {ArcTan}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}-\frac {3 i \text {ArcTan}(a x)^2 \text {PolyLog}\left (2,-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {3 \text {ArcTan}(a x) \text {PolyLog}\left (3,-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {3 i \text {PolyLog}\left (4,-1+\frac {2}{1-i a x}\right )}{4 c^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.50, antiderivative size = 332, normalized size of antiderivative = 1.00, number of steps
used = 21, number of rules used = 12, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.546, Rules used = {5086, 5044,
4988, 5004, 5112, 5116, 6745, 5050, 5012, 205, 211, 5020} \begin {gather*} \frac {\text {ArcTan}(a x)^3}{2 c^3 \left (a^2 x^2+1\right )}+\frac {\text {ArcTan}(a x)^3}{4 c^3 \left (a^2 x^2+1\right )^2}-\frac {33 a x \text {ArcTan}(a x)^2}{32 c^3 \left (a^2 x^2+1\right )}-\frac {3 a x \text {ArcTan}(a x)^2}{16 c^3 \left (a^2 x^2+1\right )^2}-\frac {33 \text {ArcTan}(a x)}{32 c^3 \left (a^2 x^2+1\right )}-\frac {3 \text {ArcTan}(a x)}{32 c^3 \left (a^2 x^2+1\right )^2}+\frac {141 a x}{256 c^3 \left (a^2 x^2+1\right )}+\frac {3 a x}{128 c^3 \left (a^2 x^2+1\right )^2}-\frac {3 i \text {ArcTan}(a x)^2 \text {Li}_2\left (\frac {2}{1-i a x}-1\right )}{2 c^3}+\frac {3 \text {ArcTan}(a x) \text {Li}_3\left (\frac {2}{1-i a x}-1\right )}{2 c^3}-\frac {i \text {ArcTan}(a x)^4}{4 c^3}-\frac {11 \text {ArcTan}(a x)^3}{32 c^3}+\frac {141 \text {ArcTan}(a x)}{256 c^3}+\frac {\text {ArcTan}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}+\frac {3 i \text {Li}_4\left (\frac {2}{1-i a x}-1\right )}{4 c^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 211
Rule 4988
Rule 5004
Rule 5012
Rule 5020
Rule 5044
Rule 5050
Rule 5086
Rule 5112
Rule 5116
Rule 6745
Rubi steps
\begin {align*} \int \frac {\tan ^{-1}(a x)^3}{x \left (c+a^2 c x^2\right )^3} \, dx &=-\left (a^2 \int \frac {x \tan ^{-1}(a x)^3}{\left (c+a^2 c x^2\right )^3} \, dx\right )+\frac {\int \frac {\tan ^{-1}(a x)^3}{x \left (c+a^2 c x^2\right )^2} \, dx}{c}\\ &=\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}-\frac {1}{4} (3 a) \int \frac {\tan ^{-1}(a x)^2}{\left (c+a^2 c x^2\right )^3} \, dx+\frac {\int \frac {\tan ^{-1}(a x)^3}{x \left (c+a^2 c x^2\right )} \, dx}{c^2}-\frac {a^2 \int \frac {x \tan ^{-1}(a x)^3}{\left (c+a^2 c x^2\right )^2} \, dx}{c}\\ &=-\frac {3 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {3 a x \tan ^{-1}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \tan ^{-1}(a x)^4}{4 c^3}+\frac {1}{32} (3 a) \int \frac {1}{\left (c+a^2 c x^2\right )^3} \, dx+\frac {i \int \frac {\tan ^{-1}(a x)^3}{x (i+a x)} \, dx}{c^3}-\frac {(9 a) \int \frac {\tan ^{-1}(a x)^2}{\left (c+a^2 c x^2\right )^2} \, dx}{16 c}-\frac {(3 a) \int \frac {\tan ^{-1}(a x)^2}{\left (c+a^2 c x^2\right )^2} \, dx}{2 c}\\ &=\frac {3 a x}{128 c^3 \left (1+a^2 x^2\right )^2}-\frac {3 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {3 a x \tan ^{-1}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 a x \tan ^{-1}(a x)^2}{32 c^3 \left (1+a^2 x^2\right )}-\frac {11 \tan ^{-1}(a x)^3}{32 c^3}+\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \tan ^{-1}(a x)^4}{4 c^3}+\frac {\tan ^{-1}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}-\frac {(3 a) \int \frac {\tan ^{-1}(a x)^2 \log \left (2-\frac {2}{1-i a x}\right )}{1+a^2 x^2} \, dx}{c^3}+\frac {(9 a) \int \frac {1}{\left (c+a^2 c x^2\right )^2} \, dx}{128 c}+\frac {\left (9 a^2\right ) \int \frac {x \tan ^{-1}(a x)}{\left (c+a^2 c x^2\right )^2} \, dx}{16 c}+\frac {\left (3 a^2\right ) \int \frac {x \tan ^{-1}(a x)}{\left (c+a^2 c x^2\right )^2} \, dx}{2 c}\\ &=\frac {3 a x}{128 c^3 \left (1+a^2 x^2\right )^2}+\frac {9 a x}{256 c^3 \left (1+a^2 x^2\right )}-\frac {3 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )}-\frac {3 a x \tan ^{-1}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 a x \tan ^{-1}(a x)^2}{32 c^3 \left (1+a^2 x^2\right )}-\frac {11 \tan ^{-1}(a x)^3}{32 c^3}+\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \tan ^{-1}(a x)^4}{4 c^3}+\frac {\tan ^{-1}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}-\frac {3 i \tan ^{-1}(a x)^2 \text {Li}_2\left (-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {(3 i a) \int \frac {\tan ^{-1}(a x) \text {Li}_2\left (-1+\frac {2}{1-i a x}\right )}{1+a^2 x^2} \, dx}{c^3}+\frac {(9 a) \int \frac {1}{c+a^2 c x^2} \, dx}{256 c^2}+\frac {(9 a) \int \frac {1}{\left (c+a^2 c x^2\right )^2} \, dx}{32 c}+\frac {(3 a) \int \frac {1}{\left (c+a^2 c x^2\right )^2} \, dx}{4 c}\\ &=\frac {3 a x}{128 c^3 \left (1+a^2 x^2\right )^2}+\frac {141 a x}{256 c^3 \left (1+a^2 x^2\right )}+\frac {9 \tan ^{-1}(a x)}{256 c^3}-\frac {3 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )}-\frac {3 a x \tan ^{-1}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 a x \tan ^{-1}(a x)^2}{32 c^3 \left (1+a^2 x^2\right )}-\frac {11 \tan ^{-1}(a x)^3}{32 c^3}+\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \tan ^{-1}(a x)^4}{4 c^3}+\frac {\tan ^{-1}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}-\frac {3 i \tan ^{-1}(a x)^2 \text {Li}_2\left (-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {3 \tan ^{-1}(a x) \text {Li}_3\left (-1+\frac {2}{1-i a x}\right )}{2 c^3}-\frac {(3 a) \int \frac {\text {Li}_3\left (-1+\frac {2}{1-i a x}\right )}{1+a^2 x^2} \, dx}{2 c^3}+\frac {(9 a) \int \frac {1}{c+a^2 c x^2} \, dx}{64 c^2}+\frac {(3 a) \int \frac {1}{c+a^2 c x^2} \, dx}{8 c^2}\\ &=\frac {3 a x}{128 c^3 \left (1+a^2 x^2\right )^2}+\frac {141 a x}{256 c^3 \left (1+a^2 x^2\right )}+\frac {141 \tan ^{-1}(a x)}{256 c^3}-\frac {3 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 \tan ^{-1}(a x)}{32 c^3 \left (1+a^2 x^2\right )}-\frac {3 a x \tan ^{-1}(a x)^2}{16 c^3 \left (1+a^2 x^2\right )^2}-\frac {33 a x \tan ^{-1}(a x)^2}{32 c^3 \left (1+a^2 x^2\right )}-\frac {11 \tan ^{-1}(a x)^3}{32 c^3}+\frac {\tan ^{-1}(a x)^3}{4 c^3 \left (1+a^2 x^2\right )^2}+\frac {\tan ^{-1}(a x)^3}{2 c^3 \left (1+a^2 x^2\right )}-\frac {i \tan ^{-1}(a x)^4}{4 c^3}+\frac {\tan ^{-1}(a x)^3 \log \left (2-\frac {2}{1-i a x}\right )}{c^3}-\frac {3 i \tan ^{-1}(a x)^2 \text {Li}_2\left (-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {3 \tan ^{-1}(a x) \text {Li}_3\left (-1+\frac {2}{1-i a x}\right )}{2 c^3}+\frac {3 i \text {Li}_4\left (-1+\frac {2}{1-i a x}\right )}{4 c^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.16, size = 208, normalized size = 0.63 \begin {gather*} \frac {-16 i \pi ^4+256 i \text {ArcTan}(a x)^4-576 \text {ArcTan}(a x) \cos (2 \text {ArcTan}(a x))+384 \text {ArcTan}(a x)^3 \cos (2 \text {ArcTan}(a x))-12 \text {ArcTan}(a x) \cos (4 \text {ArcTan}(a x))+32 \text {ArcTan}(a x)^3 \cos (4 \text {ArcTan}(a x))+1024 \text {ArcTan}(a x)^3 \log \left (1-e^{-2 i \text {ArcTan}(a x)}\right )+1536 i \text {ArcTan}(a x)^2 \text {PolyLog}\left (2,e^{-2 i \text {ArcTan}(a x)}\right )+1536 \text {ArcTan}(a x) \text {PolyLog}\left (3,e^{-2 i \text {ArcTan}(a x)}\right )-768 i \text {PolyLog}\left (4,e^{-2 i \text {ArcTan}(a x)}\right )+288 \sin (2 \text {ArcTan}(a x))-576 \text {ArcTan}(a x)^2 \sin (2 \text {ArcTan}(a x))+3 \sin (4 \text {ArcTan}(a x))-24 \text {ArcTan}(a x)^2 \sin (4 \text {ArcTan}(a x))}{1024 c^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 75.35, size = 1959, normalized size = 5.90
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1959\) |
default | \(\text {Expression too large to display}\) | \(1959\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {\operatorname {atan}^{3}{\left (a x \right )}}{a^{6} x^{7} + 3 a^{4} x^{5} + 3 a^{2} x^{3} + x}\, dx}{c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\mathrm {atan}\left (a\,x\right )}^3}{x\,{\left (c\,a^2\,x^2+c\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________